Practical Aspects of Declarative Languages (vol. # 3819)
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...
Weiterlesen
Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
Weiterlesen
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Weiterlesen
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Weiterlesen
Turbopumps
This book covers most of the subjects that are requested by engineers, those who are directly involved in design and manufacturing ...
Weiterlesen
